Exercise 2-67

Recall the “regions of the world” Hausdorff metric space We learned that a metric space can be converted into a preorder by a particular monoidal monotone map. How would you interpret the resulting preorder?

Solution(1)

The edges in the preorder represent the \(\subseteq\) relation. For Boston, US, and Spain, it would look like this (with implicit self-edges):